In the second character, we characterise the analyticity of abstract dynamic boundary value problem with unbounded boundary operator and abstract dynamic boundary value problem with bounded boundary operator using the decomposition of operator matrices. 第二章利用算子矩阵的分解分别给出了边界算子无界和有界两种情形下抽象动态边值问题解析性的判别方法。
By using the method of an abstract continuous theorem of k-set contractive operator and some analysis technique. Sufficient conditions are derived for the existence of at least one strictly positive periodic solution of periodic two-species Lotka-Volterra competition dynamics systems with neutral delay and several deviating arguments. 利用k-集压缩算子抽象连续理论和某些分析技术,导出了此具有中立时滞和变差元的周期两种群Lotka-Volterra竞争动力系统至少存在一个严格正的周期解的充分条件。
The frame includes aseries of guidelines 、 process 、 related methods. The Solvability of Abstract Equation Involving the Maximal Monotone Operator 相关的方法。与极大单调算子相关的抽象方程的可解性
The Well-pose of Abstract Boundary Value Problem whose Main Operator Has Non-trivial Kernel 主算子具非平凡核的抽象边值问题的适定性
On the Abstract Volterra Linear Integral Operator 一类抽象VOLTERRA型线性积分算子
Nowadays, manufacturing by five-axis machine tool wins the user's hearts for its high flexible, more complex and better cutting stance, however, A bottle-neck problem appears because it needs abstract programming skill and skilled operator. 五轴联动加工以其高柔性,高复合性,优良的切削位置姿态赢得越来越多用户的青睐,但编程的抽象和操作的复杂已经成为提高数控加工技术的一大瓶颈问题。
Computer System of Abstract Operator Calculus 计算机上的抽象算符演算系统
Experimental results have verified the veracity of solving contradiction of hold down noise and abstract edge with the method. Single-pixel detected with zero crossings by Marr edge detection operator can reduce complex of calculation in the next procedure of objects tracking. 实验结果表明:该方法很好的解决了噪声抑制和图像边缘提取之间的矛盾,且利用Marr算子进行边缘检测得到是单像素的边缘,可以减小跟踪过程中匹配计算的复杂度。
An abstract method is proposed in this thesis to express the form of the information grid object. Its format is: OLC { Operator, Data Schema, Operation, Context}. 本文提出了一种形式化表示方法,用来刻画客体生命周期各个阶段的内部、外部行为和特点,其形式为:OLC{Operator,DataSchema,Operation,Context}。
This paper proposes a binary mining algorithm used in data mining that is suitable to mining and analysis of the huge data houses. The basic principle is abstract related information from many properties-value with binary logic "and" operator, so as to concludes decide rules. 提出了一种用于数据挖掘的二进制挖掘算法,适用于大型数据仓库的挖掘与分析,其基本原理是运用二进制逻辑与运算,从其多属性值域中抽取关键信息,形成决策规则。
In this paper, using a saddle point theorem we prove an abstract Kuhn-Tucker theorem, in which we give an equivalent condition on the existence of solutions of nonlinear programming problems for abstract functions with constrains in operator form. 本文用鞍点定理证明了一个抽象的Kuhn-Tucker定理,即得到由算子形式给出的约束,定义在抽象空间上的函数的非线性规划问题解的存在性的一个等价条件。
In chapter 1, firstly, by using classical analysis methods, such as the introduction of Bessel function and semigroup theory, we transform the pseudo-parabolic equation into an abstract operator equation and achieve the existence and uniqueness of the local solution. 在第一章中,利用经典的分析方法,引入Bessel势函数,将伪抛物型方程转化为抽象算子方程,首先,利用算子半群理论,论证了局部解的存在唯一性。
Abstract Operator Approach of the Angular Momentum Operator Eigenvalue Problem 角动量算符本征值问题的抽象算符方法
Furthermore, we consider this robustness for abstract differential equations with unbounded operator in the delay term. 我们进一步研究了时滞项含无界算子的抽象微分方程的小时滞鲁棒稳定性,获得了一些充分必要条件,并应用所得结论讨论了具解析半群生成元的时滞系统。
By this, the REDUCE system can be used in operation and inverse operation of abstract operator, Laplace transformation and inverse transformation, solving differential equation, formula manipulation, and proposition verification eta. 使REDUCE系统可用于抽象的算符演算,逆演算;用于Laplace变换,逆变换及解微分方程,推导公式,以及验证有关定理等。
In this paper, the abstract boundary value problem of non-selfadjoint and non-compact operator with reflective boundary condition is studied. It is obtained that the this kind of problems is equal to a Wiener-Hopf equation and the well poset problem of the abstract boundary value is proved. 研究具反射边界条件,非自伴非紧算子的抽象边界问题,证明了它等价一个Wiener-Hopf方程,并证明了方程的适定性。
Abstract operator logic and its natural deduction system 抽象算子逻辑及其自然演绎系统
In this paper, the existence of periodic solutions for a class of second order neutral functional differential equations is investigated by using some analytical techniques and the abstract continuation theory of k-set contractive operator. One sufficient condition is obtained. 利用一些分析技巧及k-集压缩算子的抽象连续性原理,研究一类二阶中立型泛函微分方程周期解的存在性,得到保证该类方程周期解存在的充分条件。
Using operator to model constraints, this paper researches such abstract operator logic, analyzes its syntax, semantics, axiomatic system, its natural deduction system and its normalized natural deduction system, provide the theoretical foundation for constrict analysis of hierarchy system. 研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础。
Abstract Boundary Value Problems and Operator Semigroups 抽象边值问题与算子半群
The Abstract Boundary Value Problem of Non-selfadjoint and Non-compact Operator with Reflective Boundary Condition 具反射边界条件的非自伴非紧的抽象边值问题
In this paper, by using the abstract continuation theorem of k-set contractive operator, differential inequalities and some analysis techniques, we study the existence of periodic solutions for two kinds of second order functional differential equations with deviating arguments. 本文利用k-集压缩算子抽象连续性定理、微分不等式和一些分析技巧等多种方法研究了两类具有偏差变元的二阶泛函微分方程周期解的存在性。
In the abstract layer, it uses RS operator to describe robot missions based on behaviors. 在抽象层次上,采用RS运算符来描述基于行为的机器人事务。
It is an abstract from a lot of data out of the original incident and the events through a certain operator associated with the different events together to form composite event, said the new meaning, between the data reveal the hidden information. 它从大量的数据中抽象出原始事件,并通过一定的事件操作符将不同的事件关联起来形成复合事件,表示新的意义,揭示数据之间隐含的信息。
Abstract& Recent research indicates that packet multicasting employing random lin-ear network coding can be regarded as transmitting subspaces as symbols over a linear operator channel ( LOC), a discrete memoryless unicast subspace channel over some finite field. 最近的研究指出在有差错的随机网络编码信道上进行数据包多播可以等效为在线性算子信道(LOC)上传送子空间符号,LOC是一个定义在有限域射影空间上的离散无记忆信道。